Поиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Бабанов А. М. , Скачкова А. С. «Методика доказательства теорем для формальнойсистемы ERM-модели» // Вестник ТГУ. УВТиИ. 2010. №2(11) C.113-123